EDLRIS: A European Driving License for Robots and Intelligent Systems
نویسندگان
چکیده
منابع مشابه
Conf . on Intelligent Robots and Systems ( IROS )
We are developing autonomous control systems for mission-critical domains that require hard real-time performance guarantees. To automatically build reac-tive plans that meet these requirements, we use formal veriication (model checking) techniques to assess the quality of plans as they are built. The veriica-tion process uses precise timed automaton models of the executive that will run the re...
متن کاملThe Driving Pipeline: A Driving Control Scheme for Mobile Robots
Mobile robot vehicles must control the execution of numerous perception and planning processes to navigate successfully in complex environments. In the past, most mobile robot systems have utilized "stop-and-go" control schemes that avoid addressing the driving control problem, or have used f m d control schemes that ab not allow for the changing environment and field of view of the vehicle. Th...
متن کاملRobots in an Intelligent Systems Course
In the spring of 2005 our department offered a new course entitled “Intelligent Systems” (IS). This course, which will be required for future CS majors, provides an introduction to a number of AI topics including predicate logic, frames, rule-based systems, neural networks, Bayesian networks, decision trees, and fuzzy logic. The theme of agents is woven throughout the course. Each section of th...
متن کاملpassivity in waiting for godot and endgame: a psychoanalytic reading
this study intends to investigate samuel beckett’s waiting for godot and endgame under the lacanian psychoanalysis. it begins by explaining the most important concepts of lacanian psychoanalysis. the beckettian characters are studied regarding their state of unconscious, and not the state of consciousness as is common in most beckett studies. according to lacan, language plays the sole role in ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: KI - Künstliche Intelligenz
سال: 2021
ISSN: 0933-1875,1610-1987
DOI: 10.1007/s13218-021-00716-8